Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท18h
๐Ÿ“Log Parsing
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post
Dynamic Adaptive Traffic Signal Control via Hybrid Reinforcement Learning and Bayesian Optimization
dev.toยท11hยท
Discuss: DEV
๐Ÿ”„Lens Laws
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.ioยท2h
๐ŸŒŠStreaming Systems
Flag this post
Swift 6.2: Observations
mjtsai.comยท5h
๐Ÿ”„Lens Laws
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท4hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.ukยท1d
๐Ÿค–Tape Automation
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท46m
โšกProof Automation
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ”“Decompilation
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท16h
โœ…Format Verification
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท2dยท
Discuss: Substack
๐ŸงฌFunctional Programming
Flag this post
Stochastic computing
scottlocklin.wordpress.comยท5h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Turing Machine Visualization (2016)
turingmachine.ioยท4dยท
Discuss: Hacker News
๐ŸŽž๏ธTape Combinatorics
Flag this post
[P] I build a model to visualise live collision risk predictions for London from historical TFL data
reddit.comยท7hยท
๐Ÿ“ŠCount-Min Sketch
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท21hยท
๐Ÿ’งLiquid Types
Flag this post
CAD-3D on the Atari ST
stonetools.ghost.ioยท3hยท
Discuss: Hacker News
๐Ÿ•น๏ธRetro Gaming
Flag this post